Duality between controllability and observability

#incomplete